Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
861	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
862	Microsoft Word - Call for Papers - Letter.docx Add to Reading List Source URL: fmseet.aau.at Language: English - Date: 2015-03-27 06:05:41 Science Knowledge Software development process Formal specification Software engineer Computer science Education On the Cruelty of Really Teaching Computer Science Formal methods Software engineering Software development
863	Formal Methods & Traditional Engineering: by Michael Jackson Introduction Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-21 08:48:50 Architectural design Formal methods Engineering Design Reliability engineering Software development process Object-oriented programming Software development methodology Human factors Software development Science Software
864	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming
865	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
866	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.sciserv.eu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
867	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
868	Lampiran A10 MATHEMATICAL SCIENCES, INFORMATION AND COMMUNICATION TECHNOLOGY RESEARCH CLUSTER Head: PROF. DATO’ DR. KAMEL ARRIFIN MOHD ATAN Leading PTJ: Institute for Mathematical Research, Universiti Putra Malaysia, Add to Reading List Source URL: www.tncpi.upm.edu.my Language: English - Date: 2013-12-10 03:21:05 Mathematics Mathematical sciences Computer science Computational mathematics Computational science Cryptography Bioinformatics UP Diliman Department of Computer Science Applied mathematics Science Formal sciences
869	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
870	A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus () Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:32 Theoretical computer science Vienna Development Method Formal specification John Fitzgerald Life-critical system Software development process SIGNAL Analysis Formal methods Software development Science

UPDATE